Answer set programming - PDFSEARCH.IO - Document Search Engine

Answer set programming
Results: 107

#	Item
61	Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2008-11-11 15:26:22 Predicate logic Formal languages Philosophical logic Lambda calculus Combinatory logic First-order logic Categorial grammar Function Quantification Logic Mathematical logic Mathematics
62	ANSWER SET PROGRAMMING KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING USING ANSPROLOG: WWW.BARAL.US/BOOKONE Chitta Baral Department of Computer Science and Engg. Add to Reading List Source URL: www.public.asu.edu Language: English* - Date: 2004-06-18 11:01:46 Non-classical logic Reasoning Knowledge Knowledge representation Programming paradigms Knowledge representation and reasoning Non-monotonic logic Stable model semantics Default logic Science Logic programming Logic
63	Under consideration for publication in Theory and Practice of Logic Programming 1 Typed Answer Set Programming Lambda Calculus Theories and Correctness of Inverse Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-04-01 13:35:06 Applied mathematics Type theory Logic in computer science Theory of computation Combinatory logic Simply typed lambda calculus Typed lambda calculus Type constructor Calculus Theoretical computer science Lambda calculus Computer science
64	What’s Hot in the SAT and ASP Competitions Marijn J.H. Heule∗ Torsten Schaub† The University of Texas at Austin, United States Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-11-21 11:43:25 Mathematical optimization Computer file formats Numerical software Mathematics Constraint programming Answer set programming Solver Sol Nl Theoretical computer science Applied mathematics Operations research
65	Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 134–143 http://www.floc-conference.org/ICLP-home.html TIGHT SEMANTICS FOR LOGIC PROGRAMS LUÍS MONIZ PEREIRA 1 AND AL Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-06-24 05:59:13 Theoretical computer science Stable model semantics Modal logic Answer set programming Semantics Well-founded semantics Logic programming Logic Science
66	1 Symmetry-breaking Answer Set Solving ∗ Christian Drescher a , Oana Tifrea b and Toby Walsh a a Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-06-15 21:43:28 Physics Answer set programming Stable model semantics Geometry Permutation pattern Symmetry Logic programming Theoretical physics
67	Optimized encodings for Consistent Query Answering via ASP from different perspectives? Marco Manna, Francesco Ricca, and Giorgio Terracina Department of Mathematics, University of Calabria, Italy {manna,ricca,terracina} Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-15 12:44:06 Universal algebra Data integration Stable model semantics Answer set programming Mathematics Logic Artificial intelligence Logic programming Model theory Structure
68	Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1007.4114v1 [cs.LO] 23 Jul 2010 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2010-12-17 06:32:10 Artificial intelligence Constraint logic programming Local consistency Constraint satisfaction problem Constraint satisfaction Structure Answer set programming Valuation Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
69	P ROCEEDINGS OF THE ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2011 http://csclp2011.cs.st-andrews.ac.uk April 12th-13th, 2011 Editors Add to Reading List Source URL: csclp2011.cs.st-andrews.ac.uk Language: English - Date: 2011-04-11 08:39:34 Computer programming Constraint satisfaction Constraint logic programming Logic programming Answer set programming Mathematical optimization Oz ECLiPSe Constraint graph Constraint programming Software engineering Declarative programming
70	Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP[removed]April 2011 Kings Manor, University of York Programme of Events Tuesday 12th April Add to Reading List Source URL: csclp2011.cs.st-andrews.ac.uk Language: English - Date: 2011-04-11 08:39:34 Computing Constraint logic programming Logic programming Answer set programming Constraint satisfaction problem Constraint Mathematical optimization Constraint programming Software engineering Computer programming

UPDATE